Llistar TÃtols
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
S'han trobat 2 Ãtems
Llistant Ãtems des de 0 a 2:
Programació lògica Automatic theorem proving Teoremes -- Demostració automà tica Fuzzy logic Logic programming Fuzzy systems Lògica difusa
Bofill Arasa, Miquel Luna-Tedesqui, Alejandro Ministerio de EconomÃa y Competitividad (Espanya) Moreno, Ginès Villaret i Ausellé, Mateu Và zquez, Carlos Almendros-Jimenez, Jesùs M.